برای بررسی همارزی دو گزاره با استفاده از جدول ارزش، باید وضعیتهای مختلف درست و غلط بودن را در نظر بگیریم. گزارهها به صورت زیر هستند:
\[ (P \lor Q) \Rightarrow R \equiv (P \Rightarrow R) \land (Q \Rightarrow R) \]
۱. ستونهای مربوط به \( P \)، \( Q \) و \( R \) را پر کنید.
۲. ستون \( P \lor Q \) را محاسبه کنید.
۳. ستون \( (P \lor Q) \Rightarrow R \) را پر کنید.
4. ستون \( P \Rightarrow R \) و \( Q \Rightarrow R \) را پر کنید.
5. ستون \( (P \Rightarrow R) \land (Q \Rightarrow R) \) را محاسبه کنید.
6. ستونهای ۳ و ۵ را مقایسه کنید. اگر همه مقادیر برابر باشند، گزارهها همارزند.
با محاسبه و مقایسه این ستونها میتوانید همارزی گزارهها را بررسی کنید.
